1. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
پدیدآورنده : A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
رده :
QA
76
.
7
.
A285
2005
